Rocarta-online

Mihailescu, Eugen


[Cuprins]

(n.1913, Iasi), logician roman. Prof. univ. la Bucuresti. Contributii in domeniul calculului propozitional si in rezolvarea problemei deciziei ("Sisteme logice si forme normale in calculul propozitional bivalent", "Logica matematica. Elemte de calcul cu propozitii si predicate").

Domenii


Click here to access the EduSoft website